Results 101 to 110 of about 884 (194)
LP, K3, and FDE as Substructural Logics [PDF]
, 2017 Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems.
Shapiro, Lionel
core +1 more source
A Substructural Epistemic Resource Logic: Theory and Modelling\n Applications [PDF]
, 2019 Didier Galmiche +2 more
openalex +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 +2 more
openaire +1 more source
Sheffer operation in relational systems. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +1 more source
Context and consequence. An intercontextual substructural logic [PDF]
, 2014 Elia Zardini
openalex +1 more source
Undecidability of Some Substructural Logics
, 2015 This thesis deals with the algorithmic undecidability (unsolvability) of provability in some non-classical logics. In fact, there are two natural variants of this problem.
Chvalovský, Karel
core
Models for Substructural Arithmetics
, 2010 This paper explores models for arithmetic in substructural logics. In the existing literature on substructural arithmetic, frame semantics for substructural logics are absent.
Restall, Greg, Greg Restall
core +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
, 2010 In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core