Graduate studies at Western
Journal of Symbolic Logic 72 (3):834 - 864 (2007)
|Abstract||Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0.1]. In this paper, we introduce Uninorm logic UL as Multiplicative additive intuitionistic linear logic MAILL extended with the prelinearity axiom ((A → B) ∧ t) ∨ ((B → A) ∧ t). Axiomatic extensions of UL include known fuzzy logics such as Monoidal t-norm logic MTL and Gödel logic G, and new weakening-free logics. Algebraic semantics for these logics are provided by subvarieties of (representable) pointed bounded commutative residuated lattices. Gentzen systems admitting cut-elimination are given in the framework of hypersequents. Completeness with respect to algebras with lattice reduct [0, 1] is established for UL and several extensions using a two-part strategy. First, completeness is proved for the logic extended with Takeuti and Titani's density rule. A syntactic elimination of the rule is then given using a hypersequent calculus. As an algebraic corollary, it follows that certain varieties of residuated lattices are generated by their members with lattice reduct [0, 1]|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Greg Restall (forthcoming). Substructural Logics. Stanford Encyclopedia of Philosophy.
Petr Hájek & Petr Cintula (2006). On Theories and Models in Fuzzy Predicate Logics. Journal of Symbolic Logic 71 (3):863 - 880.
Takahiro Seki (2012). Metacompleteness of Substructural Logics. Studia Logica 100 (6):1175-1199.
Franco Montagna (2012). Δ-Core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation. Studia Logica 100 (1-2):289-317.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Heinrich Wansing (1993). Informational Interpretation of Substructural Propositional Logics. Journal of Logic, Language and Information 2 (4):285-308.
Norihiro Kamide (2003). Normal Modal Substructural Logics with Strong Negation. Journal of Philosophical Logic 32 (6):589-612.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. [REVIEW] Journal of Philosophical Logic 27 (2):179-216.
Charles Grady Morgan & Francis Jeffry Pelletier (1977). Some Notes Concerning Fuzzy Logics. Linguistics and Philosophy 1 (1):79 - 97.
Lou Goble (2007). Combinatory Logic and the Semantics of Substructural Logics. Studia Logica 85 (2):171 - 197.
Ken-etsu Fujita (1998). On Proof Terms and Embeddings of Classical Substructural Logics. Studia Logica 61 (2):199-221.
Siegfried Gottwald (2008). Mathematical Fuzzy Logics. Bulletin of Symbolic Logic 14 (2):210-239.
Added to index2010-08-24
Total downloads5 ( #170,177 of 739,344 )
Recent downloads (6 months)1 ( #61,538 of 739,344 )
How can I increase my downloads?