Distributive-lattice semantics of sequent calculi with structural rules

DOI10.1007/s11787-009-0001-6zbMath1255.03034OpenAlexW1991361313MaRDI QIDQ1931305

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-009-0001-6

zbMATH Keywords

sequent calculusdistributive latticemany-valued logicinferenceadmissible rulederivable rulestructural rule

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Structure and representation theory of distributive lattices (06D05) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

Related Items (3)

Many-place sequent calculi for finitely-valued logics ⋮ Encoding hybridized institutions into first-order logic ⋮ Saturated models in institutions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
• Untersuchungen über das logische Schliessen. I
• Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
• Proof theory

This page was built for publication: Distributive-lattice semantics of sequent calculi with structural rules