On Axioms and Rexpansions
From MaRDI portal
Publication:5020163
DOI10.1007/978-3-030-71258-7_3OpenAlexW3127632810MaRDI QIDQ5020163
Sérgio Marcelino, Carlos Caleiro
Publication date: 4 January 2022
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2102.05419
Related Items
Proof search on bilateralist judgments over non-deterministic semantics, Computational properties of partial non-deterministic matrices and their logics, An unexpected Boolean connective
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Limits for paraconsistent calculi
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- A non-deterministic view on non-classical negations
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
- Constructive negations and paraconsistency
- Non-deterministic semantics for logics with a consistency operator
- Theory of logical calculi. Basic theory of consequence operations
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- The value of the four values
- On extensions of intermediate logics by strong negation
- Disjoint fibring of non-deterministic matrices
- Analytic calculi for monadic PNmatrices
- Combining fragments of classical logic: when are interaction principles needed?
- Swap structures semantics for Ivlev-like modal logics
- Finite-valued semantics for canonical labelled calculi
- Paraconsistent logic: consistency, contradiction and negation
- Taming Paraconsistent (and Other) Logics
- Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
- Non-deterministic Multiple-valued Structures
- Modal semantics without possible worlds
- Decidability and complexity of fibred logics without shared connectives
- Cut-free sequent calculi for C-systems with generalized finite-valued semantics
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- Constructible falsity
- Axiomatizing non-deterministic many-valued generalized consequence relations