Results 131 to 140 of about 3,086 (177)

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 ...
Igor Sedlár
exaly   +2 more sources

Substructural logic and partial correctness [PDF]

ACM Transactions on Computational Logic, 2003
We formulate a noncommutative sequent calculus for partial correctness that subsumes propositional Hoare Logic. Partial correctness assertions are represented by intuitionistic linear implication. We prove soundness and completeness over relational and trace models.
Dexter Kozen, Jerzy Tiuryn
exaly   +2 more sources

Current Trends in Substructural Logics

Journal of Philosophical Logic, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Katalin Bimbo
exaly   +3 more sources

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.
exaly   +3 more sources

Constructive Logic with Strong Negation is a Substructural Logic. I [PDF]

Studia Logica, 2008
This is the latter half of two papers in which the authors show that the constructive logic with strong negation is definitionally equivalent to a certain axiomatic extension of the substructural logic FLew, namely, the full Lambek calculus with exchange and weakening. In the first half [\textit{M. Spinks} and \textit{R. Veroff}, Stud. Log. 88, No.
Robert Veroff
exaly   +4 more sources

A Useful Substructural Logic

Logic Journal of IGPL, 1994
Summary: Formal systems seem to come in two general kinds: useful and useless. This is painting things starkly, but the point is important. Formal structures can either be used in interesting and important ways, or they can languish unused and irrelevant. Lewis' modal logics are good examples.
openaire   +2 more sources

UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS

The Review of Symbolic Logic, 2014
AbstractUniform interpolation property of a given logic is a stronger form of Craig’s interpolation property where both pre-interpolant and post-interpolant always exist uniformly for any provable implication in the logic. It is known that there exist logics, e.g., modal propositional logic S4, which have Craig’s interpolation property but do not have ...
Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono   +2 more
openaire   +1 more source

Metacompleteness of Substructural Logics

Studia Logica, 2012
The paper studies the extensions of the logic \(\mathbf{FL}\) -- the logic of full Lambek calculus. A logic \(L\) is said to enjoy the disjunction property if the fact that \(\alpha \lor \beta\) is a theorem of \(L\) entails that \(\alpha\) or \(\beta\) is a theorem of \(L\).
openaire   +1 more source

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