Results 171 to 180 of about 16,014 (243)

Modal Intuitionistic Logics and Predicate Superintuitionistic Logics : Correspondence Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)

, 1997
Guram Bezhanishvili
openalex   +1 more source

On Logical and Scientific Strength. [PDF]

Erkenntnis
Incurvati L, Nicolai C.
europepmc   +1 more source

Remarks on Shimura's oracle cut elimination and Kripke sheaf semantics for modal predicate logics : An interim report (Sequent Calculi and Proof Theory)

, 2003
Norihiro Suzuki
openalex   +1 more source

Kripke-style semantics of orthomodular logics

Kripke-style semantics of orthomodular logics
リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） 本文は図書館に配架されています。 / This material is stored in the JAIST library.
openaire  

Philosophical in Confronting Rejection: Language Confusion in the Correspondence Between Editor and Author. [PDF]

Perspect Biol Med
Young NS, Child W.
europepmc   +1 more source

Kripke Semantics for BL0 and BL – Technical report

, 2017
Marcos Cramer, Deepak Garg
openalex   +1 more source

Formal Analysis of Pilot Error with Agent Safety Logic. [PDF]

Innov Syst Softw Eng, 2018
Ahrenbach S, Goodloe A.
europepmc   +1 more source

ON CONNECTIONS BETWEEN ALGEBRAIC AND KRIPKE SEMANTICS

Demonstratio Mathematica, 1977
openaire   +2 more sources

A WEAK SET THEORY WITH GLOBALIZATION(Non-Classical Logics and Their Kripke Semantics)

, 1995
Satoko Titani
openalex   +1 more source