Results 81 to 90 of about 2,597 (173)
Szubstrukturális logikák algebrai és bizonyításelméleti vizsgálata = Algebraic and Proof Theoretic Investigations of Substructural Logics [PDF]
, 2013 A kutatás fő eredményei: - Az ""Equality"" algebrák bevezetése (Studia Logica). - A ""strongly involutive uninorm"" algebrák bevezetése és osztályozása, valamint a vonatkozó logika komplexitásának vizsgálata (J Logic and Computation).
Jenei, Sándor
core
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
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
Coalgebraic completeness-via-canonicity for distributive substructural\n logics [PDF]
, 2015 Fredrik Dahlqvist, David Pym
openalex +1 more source
Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification. [PDF]
J Cheminform, 2021 Hastings J +4 more
europepmc +1 more source
Generalized quantification as substructural logic [PDF]
, 1996 Natasha Alechina, Michiel van Lambalgen
openalex +1 more source
Radical anti-realism and substructural logics
, 2002 We first provide the outline of an argument in favour of a radical form of anti-realism premised on the need to comply with two principles, implicitness and immanence, when trying to frame assertability-conditions.
Dubucs, Jacques, Marion, Mathieu
core
Semi-Substructural Logics with Additives [PDF]
Niccolò Veltrì, Cheng-Syuan Wan
openalex +1 more source