On Axioms and Rexpansions

DOI10.1007/978-3-030-71258-7_3MaRDI QIDQ5020163zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

Numerical analysis (65-XX) Mathematical logic and foundations (03-XX)

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; zbMATH DE number 6503918
• On the axiom of extensionality in the positive set theory
• scientific article; zbMATH DE number 956835
• scientific article; zbMATH DE number 5781968

Cites work

• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3719121 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3532916 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1735919 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 2196614 (Why is no real title available?)
• scientific article; zbMATH DE number 4187771 (Why is no real title available?)
• A non-deterministic view on non-classical negations
• A treatise on many-valued logics
• Analytic calculi for monadic PNmatrices
• Axiomatizing non-deterministic many-valued generalized consequence relations
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Combining fragments of classical logic: when are interaction principles needed?
• Constructible falsity
• Constructive negations and paraconsistency
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics
• Decidability and complexity of fibred logics without shared connectives
• Disjoint fibring of non-deterministic matrices
• Finite-valued semantics for canonical labelled calculi
• Limits for paraconsistent calculi
• Modal semantics without possible worlds
• Modular construction of cut-free sequent calculi for paraconsistent logics
• Non-deterministic Multiple-valued Structures
• Non-deterministic semantics for logics with a consistency operator
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On extensions of intermediate logics by strong negation
• Paraconsistent logic: consistency, contradiction and negation
• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
• Swap structures semantics for Ivlev-like modal logics
• Taming paraconsistent (and other) logics: an algorithmic approach
• The value of the four values
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(10)

• Extensions of the Axiom of Determinacy
• Computational properties of partial non-deterministic matrices and their logics
• scientific article; zbMATH DE number 4012600 (Why is no real title available?)
• 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
• A Warning About Translating Axioms
• On axioms and rexpansions
• An unexpected Boolean connective

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)