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
- 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
- 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?)
- 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
(11)- On conforming axiomatics
- Proof search on bilateralist judgments over non-deterministic semantics
- Computational properties of partial non-deterministic matrices and their logics
- An unexpected Boolean connective
- On a modification of axioms of general relations
- A Warning About Translating Axioms
- scientific article; zbMATH DE number 4012600 (Why is no real title available?)
- Extensions of the Axiom of Determinacy
- On axioms and rexpansions
- Adding an implication to logics of perfect paradefinite algebras
- On the axiom of union
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)
