Results 61 to 70 of about 255 (160)
Conuclear images of substructural logics [PDF]
Mathematical Logic Quarterly, 2016 Our work proposes to study the conuclear image of a substructural logic and in particular to investigate the relationship between a substructural logic and its conuclear image. We analyze some axioms familiar to substructural logics and we check if they: (a) are preserved under conuclear images, (b) never hold in a conuclear image, or (c) are ...
openaire +2 more sources
Resource-Driven Substructural Defeasible Logic [PDF]
, 2018 Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework.
Francesco Olivieri +4 more
openaire +2 more sources
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 +2 more sources
A pragmatic interpretation of substructural logics
, 2017 Following work by Dalla Pozza and Garola on a pragmatic interpretation of intuitionistic and deontic logics, we present a sequent calculus ILP formalizing the derivation of assertive judgements and obligations from mixed contexts of assertions, obligations and expressions of the causal interactions between them.
BELLIN, Gianluigi, Carlo Dalla Pozza
openaire +2 more sources
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
A Logical Modeling of Severe Ignorance. [PDF]
J Philos Logic, 2023 Bonzio S +3 more
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
Implication in finite posets with pseudocomplemented sections. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +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
Sheffer operation in relational systems. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +1 more source