Results 161 to 170 of about 2,597 (173)

Modal and Substructural Logics

2019
In this section, we will give a brief introduction to proof theory for two important branches of nonclassical logics, that is, modal logics and substructural logics. They are important because both of them include vast varieties of logics that have been actively studied.
openaire   +1 more source

Kripke Semantics for Modal Substructural Logics

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

Substructural Propositional Dynamic Logics

2019
We prove completeness and decidability of a version of Propositional Dynamic Logic where the underlying non-modal propositional logic is a substructural logic in the vicinity of the Full Distributive Non-associative Lambek Calculus. Extensions of the result to stronger substructural logics are briefly discussed.
openaire   +1 more source

Semantics for Substructural Logics

1993
Abstract In this paper, we will discuss algebraic and Kripke-type semantics for logics lacking some or all structural rules, which are now called sub structural logics(for general information on sub structural logics, see, for example, Dosen [6], Ono [23] and Troelstra [33]). Various kinds of semantics for sub structural logics have been
openaire   +1 more source

A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC

The Review of Symbolic Logic, 2013
AbstractIn this paper, we establish the first-order definability of sequents with consistent variable occurrence on bi-approximation semantics by means of the Sahlqvist–van Benthem algorithm. Then together with the canonicity results in Suzuki (2011), this allows us to establish a Sahlqvist theorem for substructural logic.
openaire   +2 more sources

Equality in Substructural Logics

1996
Abstract Standard axioms for equality, or standard definitions of equality in secondorder logic or set theory, permit to infer versions limited to equalities of structural rules otherwise banned in substructural logics. In the presence of settheoretic extensionality and a rather natural form of separation, these limited structural rules ...
openaire   +1 more source

A Paraconsistent and Substructural Conditional Logic

2012
I introduce and motivate a conditional logic based on the substructural system HL from Paoli (Substructural logics: a primer, Kluwer, Dordrecht, 2002). Its hallmark is the presence of three logical levels (each one of which contains its own conditional connective), linked to one another by means of appropriate distribution principles.
openaire   +2 more sources

Substructural logics

Erkenntnis, 1996
openaire   +1 more source

Substructural Logics

2000
Dov M. Gabbay, Nicola Olivetti
openaire   +1 more source

Epistemic Models, Logical Monotony and Substructural Logics

2006
Since the seminal work of [Hin62], classical epistemic logic (CEL) and its applications are undermined by the so-called problem of logical omniscience (PLO). Indeed, this problem is only one instance of logical monotony, a strong idealization that is common to most of actual epistemic models. The purpose of this paper is, following [Dub91] and [Dub02],
openaire   +2 more sources