Results 101 to 110 of about 137 (130)

Herbrand Theorems for Substructural Logics

2013
Herbrand and Skolemization theorems are obtained for a broad family of first-order substructural logics. These logics typically lack equivalent prenex forms, a deduction theorem, and reductions of semantic consequence to satisfiability. The Herbrand and Skolemization theorems therefore take various forms, applying either to the left or right of the ...
Petr Cintula, George Metcalfe
openaire   +3 more sources

Substructural logics, pluralism and collapse

Synthese, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Eduardo Alejandro Barrio, Federico Pailos, Damián Szmuc   +2 more
openaire   +4 more sources

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

Substructural Logics for Pooling Information

2017
This paper puts forward a generalization of the account of pooling information – offered by standard epistemic logic – based on intersection of sets of possible worlds. Our account is based on information models for substructural logics and pooling is represented by fusion of information states.
Vít Puncochár, Igor Sedlár
openaire   +1 more source

Modal translations in substructural logics

Journal of Philosophical Logic, 1992
The Gödel-Tarski translation of the intuitionistic predicate logic into S4 by prefixing \(\square\) to all subformulas is sound and faithful. The author proves a similar result for translations of the intuitionistic versions of linear logic, relevance logic and BCK-logic into their classical S4-analogs.
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

Logic for two: The semantics of distributive substructural logics

1997
This is an account of the semantics of a family of logics whose paradigm member is the relevant logic R of Anderson and Belnap. The formal semantic theory is well worn, having been discussed in the literature of such logics for over a quarter of a century.
John K. Slaney, Robert K. Meyer
openaire   +2 more sources

Information, Awareness and Substructural Logics

2013
The paper outlines a generalisation of the awareness-based epistemic semantics by Fagin and Halpern. Awareness is construed as a relation between agents and pieces of information instead of formulas. The main motive for introducing the generalisation is that it shows substructural logics to be a natural component of information-based epistemic logic ...
openaire   +2 more sources

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

A substructural connective for possibilistic logic

1995
We investigate the use of substructural logics for dealing with uncertainty. In this paper possibilistic logic is enriched with a new connective for combining information; the language allows then for two combinators: the usual ”and” for performing expansion and the new ”and” for combining information from distinct independent sources, as argued in ...
openaire   +2 more sources