Results 21 to 30 of about 574,752 (282)
First-Order Classical Modal Logic [PDF]
Studia Logica, 2006 This paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we offer in the first part of the paper a series of new completeness results for salient classical systems of first order modal logic.
Arló-Costa, Horacio, Pacuit, Eric
openaire +1 more source
Tarskian Classical Relevant Logic [PDF]
, 2021 The Tarskian classical relevant logic TR arises from Tarski's work on the foundations of the calculus of relations and on first-order logic restricted to finitely many variables, presented by Tarski and Givant their book, A Formalization of Set Theory without Variables, and summarized in first nine sections.
openaire +2 more sources
Program Semantics and Classical Logic [PDF]
, 1997 In the tradition of Denotational Semantics one usually lets program constructs take their denotations in reflexive domains, i.e. in domains where self-application is possible.
Muskens Reinhard, Reinhard Muskens
core +6 more sources
Bird's-eye view on Noise-Based Logic [PDF]
, 2014 Noise-based logic is a practically deterministic logic scheme inspired by the randomness of neural spikes and uses a system of uncorrelated stochastic processes and their superposition to represent the logic state.
Bezrukov, Sergey M. +5 more
core +1 more source
Classical Logic and Quantum Logic with Multiple and Common Lattice Models
Advances in Mathematical Physics, 2016 We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra) underlying Hilbert (quantum) space.
Mladen Pavičić
doaj +1 more source
Canonical Proof nets for Classical Logic [PDF]
, 2012 Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof.
McKinley, Richard
core +2 more sources
Logical Squares for Classical Logic Sentences [PDF]
Logica Universalis, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Postprawda w dyskursie publicznym w kontekście logiki klasycznej i logiki rozmytej
Annales Universitatis Paedagogicae Cracoviensis. Studia de Cultura, 2019 The work presents two trends of discussion on post-truth. The first is conservatively critical, based on the necessity of rejecting this concept as unscientific and harmful.
Mirosław Lakomy
doaj +1 more source
Noncontractive Classical Logic
Notre Dame Journal of Formal Logic, 2019 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
THE NOTHINGNESS OF THE GETTIER PROBLEM
Social Sciences, Humanities and Education Journal, 2020 This work, “The Nothingness” of the Gettier Problem is an attempt to deconstruct the popularly held view that a fourth condition may be necessary for the Traditional Account of Knowledge otherwise known as JTB.
Tom Eneji Ogar, Edor J. Edor
doaj +1 more source