Finite two-dimensional proof systems for non-finitely axiomatizable logics
From MaRDI portal
Publication:2104551
Cites work
- 2-element matrices
- An inferentially many-valued two-dimensional notion of entailment
- An unexpected Boolean connective
- Analytic calculi for monadic PNmatrices
- Axiomatizing non-deterministic many-valued generalized consequence relations
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
- Finite-valued semantics for canonical labelled calculi
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- scientific article; zbMATH DE number 2196614 (Why is no real title available?)
- Limits for paraconsistent calculi
- Logics of formal inconsistency
- Multi-valued Calculi for Logics Based on Non-determinism
- Non-deterministic Multiple-valued Structures
- Possible-translations semantics for some weak classically-based paraconsistent logics
- Proof search on bilateralist judgments over non-deterministic semantics
- Some remarks on the consequence operation in sentential logics
- Theory of logical calculi. Basic theory of consequence operations
- Volume I: Recovery operators in logics of formal inconsistency
- What is a logical theory? On theories containing assertions and denials
Cited in
(2)
This page was built for publication: Finite two-dimensional proof systems for non-finitely axiomatizable logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104551)
