Results 121 to 130 of about 5,025 (226)
Possibility Semantics for Intuitionistic Logic
The Australasian Journal of Logic, 2004 The paper investigates interpretations of propositional and first-order logic in which validity is defined in terms of partial indices; sometimes called possibilities but here understood as non-empty subsets of a set W of possible worlds. Truth at a set of worlds is understood to be truth at every world in the set. If all subsets of W are permitted the
openaire +3 more sources
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic
, 2016 We consider an extension of bi-intuitionistic logic with the traditional modalities ◇, □, ◆ and ■ from tense logic Kt. Proof theoretically, this extension is obtained simply by extending an existing sequent calculus for bi-intuitionistic logic ...
Gore, Rajeev +2 more
core
To What Extent Contemporary Mathematical Science is Reliable
RUDN Journal of Philosophy, 2011 The crisis in foundation of mathematics at the end of 19th beginning of 20th centuries initiated a number of axiomatic set theoretical systems during the first half of the 20th century. These systems were the result of different philosophical approaches (
Valery Kh Khakhanian
doaj
Quantum Logic in Intuitionistic Perspective
Studia Logica, 2002 In their seminal paper Birkhoff and von Neumann revealed the following dilemma: "... whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics points to the distributive identities as the weakest link in the algebra of logic." In this paper we eliminate this ...
openaire +2 more sources
Semantics for sub-intuitionistic logics
, 2006 This paper exposes semantics for various sub-intuitionistic logics. The semantics transparently reflect how assumptions on the epistemic and cognitive abilities of the creative subject influences the underlying logic.
Joost J. Joosten, Joosten, J.J.
core
Bulletin of the Section of LogicEcumenical logics are systems where two logics can coexist, sharing vocabulary and avoiding collapses between them. The literature has focused mainly on ecumenism between classical and intuitionistic logic, and several calculi of Natural Deduction and ...
Miguel Álvarez Lisboa
doaj +1 more source
Dual intuitionistic logic revisited
, 2000 . We unify the algebraic, relational and sequent methods used by various authors to investigate “dual intuitionistic logic”. We show that restricting sequents to “singletons on the left/right ” cannot capture “intuitionistic logic with dual operators ...
Rajeev Goré
core +1 more source
Projectivity meets uniform post-interpolant : classical and intuitionistic logic
We examine the interplay between projectivity (in the sense that was introduced by S. Ghilardi) and uniform post-interpolant for the classical and intuitionistic propositional logic.
Ciabattoni, Agataeditor +4 more
core
An implementation of a O(n log n)-SPACE Decision Procedure for Propositional Intuitionistic Logic
, 2007 In this paper we present an implementation of a tableau calculus for propositional Intuitionistic Logic in which the depth of the deductions is linearly bounded in the length of the formula to be proved and giving rise to a O(n log n)-SPACE decision ...
Alessandro Avellone +3 more
core
A Unifying Field in Logics: Neutrosophic Logic.
, 1999 The author makes an introduction to non-standard analysis, then extends the dialectics to neutrosophy which became a new branch of philosophy. This new concept helps in generalizing the intuitionistic, paraconsistent, dialetheism, fuzzy logic to ...
Smarandache, Florentin
core