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

DOI10.1016/S0165-0114(01)00164-6MaRDI QIDQ698829zbMATH OpenOpenAlexWikidataFDO

Authors A. P. Pyn'ko

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

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

Recommendations

• Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
• Distributive-lattice semantics of sequent calculi with structural rules
• scientific article; zbMATH DE number 2177629
• scientific article; zbMATH DE number 2148623
• On the algebraic structure of linear, relevance, and fuzzy logics

Cites work

• Basic logic: reflection, symmetry, visibility
• Bibliography on quantum logics and related structures
• Characterizing Belnap's Logic via De Morgan's Laws
• Definitional equivalence and algebraizability of generalized logical systems
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Fuzzy intuitionistic quantum logics
• Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
• Fuzzy sets
• Hedges: A study in meaning criteria and the logic of fuzzy concepts
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3819714 (Why is no real title available?)
• scientific article; zbMATH DE number 4083625 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 3636000 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• L-fuzzy sets
• Lattices With Involution
• Proof theory for minimal quantum logic. I
• Proof theory for minimal quantum logic: A remark
• Sequential method in quantum logic
• Untersuchungen über das logische Schliessen. I

Cited in

(4)

• Investigations into a left-structural right-substructural sequent calculus
• Distributive-lattice semantics of sequent calculi with structural rules
• scientific article; zbMATH DE number 2148623 (Why is no real title available?)
• Fuzzy semantics for multiple-conclusion sequential calculi with structural rules

This page was built for publication: Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q698829)