Many-place sequent calculi for finitely-valued logics

DOI10.1007/S11787-010-0013-2zbMath1255.03035OpenAlexW2026099031MaRDI QIDQ1931344

Alexej P. Pynko

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

zbMATH Keywords

finite-valued logicmany-place matrixmany-place sequent calculussingularity determinant

Mathematics Subject Classification ID

Structure of proofs (03F07) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A relative interpolation theorem for infinitary universal Horn logic and its applications
• Definitional equivalence and algebraizability of generalized logical systems
• Untersuchungen über das logische Schliessen. I
• Distributive-lattice semantics of sequent calculi with structural rules
• Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Sequents in many valued logic I
• Algebraic completeness results for R-mingle and its extensions

This page was built for publication: Many-place sequent calculi for finitely-valued logics