Results 71 to 80 of about 2,358 (145)

When Structural Principles Hold Merely Locally [PDF]

, 2017
In substructural logics, structural principles may hold in some fragments of a consequence relation without holding globally. I look at this phenomenon in my preferred substructural logic, in which Weakening and Cut fail but which is supra-intuitionistic.
Hlobil, Ulf
core  

25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018. [PDF]

J Logic Lang Inf, 2022
Moss L, de Queiroz R.
europepmc   +1 more source

Logics and admissible rules of constructive set theories. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Iemhoff R, Passmann R.
europepmc   +1 more source

Modal Linear Logic in Higher Order Logic, an experiment in Coq

, 2003
The sequent calculus of classical modal linear logic KDT 4lin is coded in the higher order logic using the proof assistant COQ. The encoding has been done using two-level meta reasoning in Coq.
Sadrzadeh, Mehrnoosh
core   +1 more source

A Logical Modeling of Severe Ignorance. [PDF]

J Philos Logic, 2023
Bonzio S, Fano V, Graziani P, Pra Baldi M.   +3 more
europepmc   +1 more source

Implication in finite posets with pseudocomplemented sections. [PDF]

Soft comput, 2022
Chajda I, Länger H.
europepmc   +1 more source

Sheffer operation in relational systems. [PDF]

Soft comput, 2022
Chajda I, Länger H.
europepmc   +1 more source

Characterizing logic grammars: A substructural logic approach

The Journal of Logic Programming, 1996
Summary: A characterization of static discontinuity grammars (SDGs), a logic grammar formalism due to Dahl, is given in this paper. A substructural logic sequent calculus proof system is given which is shown to be equivalent to SDGs for parsing problems in the sense that a string of terminal symbols is accepted by a grammar if and only if the ...
James H. Andrews, Verónica Dahl, Fred Popowich   +2 more
openaire   +1 more source

The Modal Components of Judgements in a Quantum Model of Psychoanalytic Theory. [PDF]

Entropy (Basel), 2023
Battilotti G, Borozan M, Lauro Grotto R.
europepmc   +1 more source

A Labelled Analytic Theorem Proving Environment for Categorial Grammar

, 1995
We present a system for the investigation of computational properties of categorial grammar parsing based on a labelled analytic tableaux theorem prover.
Luz-Filho, Saturnino F., Sturt, Patrick
core   +1 more source