Results 71 to 80 of about 481 (175)
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
Quantitative Equality in Substructural Logic via Lipschitz Doctrines
, 2021 Francesco Dagnino, Fabio Pasquali
openalex +2 more sources
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
Implication in finite posets with pseudocomplemented sections. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +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
Sheffer operation in relational systems. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +1 more source
A substructural logic for quantum measurements
, 2022 38 pages, draft to be submitted, comments and remarks welcomed to lehmann@cs.huji.ac.il.
openaire +2 more sources
An Algebraic Approach to the Disjunction Property of Substructural Logics [PDF]
, 2007 Daisuke Souma
openalex +1 more source
Substructural Logics and Pragmatic Enrichment
, 2020 En aquesta tesi presentem el Pluralisme Lògic Pragmàtic, una tesi pluralista sobre la lògica que accepta les lògiques Clàssica, Rellevant, Lineal i Ordenada. Justifiquem que els llenguatges formals d’aquestes quatre lògiques són codificacions legítimes del vocabulari lògic i capturen sentits legítims de la conseqüència lògica.
openaire +1 more source
Proof Theory and Algebra in Substructural Logics [PDF]
, 2011 Kazushige Terui
openalex +1 more source