Results 101 to 110 of about 3,345 (227)
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
Generalized quantification as substructural logic [PDF]
, 1996 Natasha Alechina, Michiel van Lambalgen
openalex +1 more source
Sheffer operation in relational systems. [PDF]
Soft comput, 2022 Chajda I, Länger H.
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
Semi-Substructural Logics with Additives [PDF]
Niccolò Veltrì, Cheng-Syuan Wan
openalex +1 more source
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
Density Elimination for Semilinear Substructural Logics [PDF]
, 2015 SanMin Wang
openalex +1 more source
Quantitative Equality in Substructural Logic via Lipschitz Doctrines [PDF]
, 2021 Francesco Dagnino, Fabio Pasquali
openalex +1 more source
An Algebraic Approach to the Disjunction Property of Substructural Logics [PDF]
, 2007 Daisuke Souma
openalex +1 more source