Results 181 to 190 of about 3,345 (227)

Substructural Logics with Mingle

Journal of Logic, Language and Information, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Substructural Implicational Logics Including the Relevant Logic E

Studia Logica, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ryo Kashima, Norihiro Kamide
openaire   +1 more source

Tableau Methods for Substructural Logics

1999
Over the last few decades a good deal of research in logic has been prompted by the realization that logical systems can be successfully employed to formalize and solve a variety of computational problems. Traditionally, the theoretical framework for most applications was assumed to be classical logic. However, this assumption often turned out to clash
D'AGOSTINO, Marcello, GABBAY D. M., BRODA K.   +2 more
openaire   +2 more sources

Synthesized substructural logics

Mathematical Logic Quarterly, 2007
AbstractA mechanism for combining any two substructural logics (e.g. linear and intuitionistic logics) is studied from a proof‐theoretic point of view. The main results presented are cut‐elimination and simulation results for these combined logics called synthesized substructural logics. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
openaire   +1 more source

Substructural epistemic logics

Journal of Applied Non-Classical Logics, 2015
The article introduces substructural epistemic logics of belief supported by evidence. The logics combine normal modal epistemic logics (implicit belief) with distributive substructural logics (available evidence). Pieces of evidence are represented by points in substructural models and availability of evidence is modelled by a function on the point ...
openaire   +1 more source

Substructural Logics

1993
Abstract Sub structural logics are non classical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, mathematical linguistics, and category theory. They include intuitionistic logic, relevant logic, BCK logic, linear logic, and Lambek's calculus of syntactic categories.
openaire   +1 more source

Current Trends in Substructural Logics

Journal of Philosophical Logic, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Substructural Logical Specifications

2012
A logical framework and its implementation should serve as a flexible tool for specifying, simulating, and reasoning about formal systems. When the formal systems we are interested in exhibit state and concurrency, however, existing logical frameworks fall short of this goal.
openaire   +1 more source

Combinatory Logic and the Semantics of Substructural Logics

Studia Logica, 2007
In his earlier paper ``Combinator logics'' [ibid. 76, No. 1, 17--66 (2004; Zbl 1054.03019)] the author extended the positive relevance logic Bo, with and, or and o (fusion) by o-axioms related to the reduction rules of a set of combinators. He then extended the Routley-Meyer semantics to this extended logic.
openaire   +2 more sources

Skolemization for Substructural Logics

2015
The usual Skolemization procedure, which removes strong quantifiers by introducing new function symbols, is in general unsound for first-order substructural logics defined based on classes of complete residuated lattices. However, it is shown here following similar ideas of Baaz and Iemhoff for first-order intermediate logics ini¾?[1] that first-order ...
Cintula, P. (Petr), Diaconescu, D., Metcalfe, G.   +2 more
openaire   +2 more sources