Many-place sequent calculi for finitely-valued logics
From MaRDI portal
Publication:1931344
DOI10.1007/S11787-010-0013-2zbMATH Open1255.03035OpenAlexW2026099031MaRDI QIDQ1931344FDOQ1931344
Authors: A. P. Pyn'ko 
Publication date: 25 January 2013
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-010-0013-2
Recommendations
Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07)
Cites Work
- Untersuchungen über das logische Schliessen. I
- Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
- Sequents in many valued logic I
- Definitional equivalence and algebraizability of generalized logical systems
- Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
- Algebraic completeness results for R-mingle and its extensions
- Title not available (Why is that?)
- Title not available (Why is that?)
- A relative interpolation theorem for infinitary universal Horn logic and its applications
- Distributive-lattice semantics of sequent calculi with structural rules
- Title not available (Why is that?)
Cited In (10)
- Title not available (Why is that?)
- Optimization of sequent calculi for finite-valued logics with equality determinant
- Intuitionistic sequent calculi for finitely many-valued logics
- Finite sequent calculi for PLTL
- Title not available (Why is that?)
- Minimal sequent calculi for Lukasiewicz's finitely-valued logics
- Title not available (Why is that?)
- On Gentzen relations associated with finite-valued logics preserving degrees of truth
- Minimal sequent calculi for monotonic chain finitely-valued logics
- Title not available (Why is that?)
This page was built for publication: Many-place sequent calculi for finitely-valued logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1931344)
