On Axioms and Rexpansions
From MaRDI portal
Publication:5020163
DOI10.1007/978-3-030-71258-7_3OpenAlexW3127632810MaRDI QIDQ5020163FDOQ5020163
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
Recommendations
- scientific article; zbMATH DE number 3316896
- Extensions of the Axiom of Determinacy
- On the regular extension axiom and its variants
- scientific article; zbMATH DE number 637397
- On conforming axiomatics
- Axiomatizing core extensions
- scientific article
- On the axiom of extensionality in the positive set theory
- scientific article; zbMATH DE number 956835
- scientific article
Cites Work
- Theory of logical calculi. Basic theory of consequence operations
- Paraconsistent logic: consistency, contradiction and negation
- A treatise on many-valued logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Constructible falsity
- Limits for paraconsistent calculi
- Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Cut-free sequent calculi for C-systems with generalized finite-valued semantics
- Title not available (Why is that?)
- Non-deterministic Multiple-valued Structures
- A non-deterministic view on non-classical negations
- Non-deterministic semantics for logics with a consistency operator
- The value of the four values
- Constructive negations and paraconsistency
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On extensions of intermediate logics by strong negation
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- Title not available (Why is that?)
- Modal semantics without possible worlds
- Title not available (Why is that?)
- Finite-valued semantics for canonical labelled calculi
- Disjoint fibring of non-deterministic matrices
- Combining fragments of classical logic: when are interaction principles needed?
- Decidability and complexity of fibred logics without shared connectives
- Analytic calculi for monadic PNmatrices
- Axiomatizing non-deterministic many-valued generalized consequence relations
- Taming Paraconsistent (and Other) Logics
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- Swap structures semantics for Ivlev-like modal logics
Cited In (10)
- Computational properties of partial non-deterministic matrices and their logics
- Title not available (Why is that?)
- On the axiom of union
- Proof search on bilateralist judgments over non-deterministic semantics
- On conforming axiomatics
- On a modification of axioms of general relations
- On axioms and rexpansions
- A Warning About Translating Axioms
- An unexpected Boolean connective
- Extensions of the Axiom of Determinacy
This page was built for publication: On Axioms and Rexpansions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020163)