Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules

DOI10.1016/S0165-0114(01)00164-6zbMath1001.03011OpenAlexW2083159371WikidataQ127877744 ScholiaQ127877744MaRDI QIDQ698829

Alexej P. Pynko

Publication date: 30 September 2002

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0165-0114(01)00164-6

zbMATH Keywords

four-valued logicorthologicsemantics of sequent calculisequent consequencetruth latticesweak structural rules

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Quantum logic (03G12) Abstract deductive systems (03B22)

Related Items

Distributive-lattice semantics of sequent calculi with structural rules

Cites Work

• Hedges: A study in meaning criteria and the logic of fuzzy concepts
• Bibliography on quantum logics and related structures
• Definitional equivalence and algebraizability of generalized logical systems
• Fuzzy intuitionistic quantum logics
• Proof theory for minimal quantum logic. I
• Untersuchungen über das logische Schliessen. I
• Proof theory for minimal quantum logic: A remark
• L-fuzzy sets
• Sequential method in quantum logic
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Basic logic: reflection, symmetry, visibility
• Characterizing Belnap's Logic via De Morgan's Laws
• Fuzzy sets
• Lattices With Involution
• Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item