Cover Image

Adding an Implication to Logics of Perfect Paradefinite Algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Greati, Vitor, Marcelino, Sérgio, Marcos, João, Rivieccio, Umberto
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science 03G10 (Primary) 03C05, 03B50, 03B70, 03B53, 03B22, 03B35, 03C40 (Secondary) F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

Generalized Explosion Principles: A Semantic Perspective
by: Basu, Sankha S., et al.
Published: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)

Topological semantics for a non-self-extensional LFI
by: Jain, Esha, et al.
Published: (2025)

Algebraizable Weak Logics
by: Nakov, Georgi, et al.
Published: (2022)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
by: Stanković, Marko, et al.
Published: (2025)

Generalized explosion principles
by: Basu, Sankha S., et al.
Published: (2023)

Two strong undefinability results in inquisitive and team semantics
by: Barbero, Fausto
Published: (2024)

Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)

Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers
by: Bahl, Rohan
Published: (2024)

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

Axiomatizing the Logic of Ordinary Discourse
by: Greati, Vitor, et al.
Published: (2024)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
by: Coniglio, Marcelo E., et al.
Published: (2024)

Finite Hilbert systems for Weak Kleene logics
by: Greati, Vitor, et al.
Published: (2024)

A characterization of Continuous Logic by using quantale-valued logics
by: Reyes, David, et al.
Published: (2021)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
by: Olkhovikov, Grigory
Published: (2024)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
by: Galliani, Pietro
Published: (2025)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
by: Wang, Shuai
Published: (2024)

The interdefinability of expansions of Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2024)

A taxonomy for controlling (in)consistency
by: Coniglio, Marcelo E., et al.
Published: (2026)

NF is Consistent
by: Holmes, M. Randall, et al.
Published: (2015)

Natural Term Logic
by: Protin, Clarence
Published: (2024)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

Abstract Model Structures and Compactness Theorems
by: Roy, Sayantan, et al.
Published: (2025)

A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

On the Contingency of Logic in Possible World Semantics
by: van der Giessen, Iris, et al.
Published: (2025)

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
by: Nichols, David
Published: (2017)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
by: Leme, Renato, et al.
Published: (2023)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
by: Baldwin, John T., et al.
Published: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
by: Baldwin, John T., et al.
Published: (2026)

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)