Results 111 to 120 of about 722,619 (215)
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
, 2006 In this course we give an introduction to intuitionistic logic. We concentrate on the propositional calculus mostly, make some minor excursions to the predicate calculus and to the use of intuitionistic logic in intuitionistic formal systems, in ...
de Jongh, Dick, Bezhanishvili, Nick
core
Intuitionistic hybrid logic: Introduction and survey
, 2011 Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis.
Torben Braüner, Braüner, Torben
core +1 more source
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
Intuitionistic Completeness and Classical Logic
Notre Dame Journal of Formal Logic, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
On Some Extensions Of Intuitionistic Logic
, 2015 We prove that many extensions of Intuitionistic Sentential Calculus ISC with new intuitionistic connectives that are known to be conservative extensions of ISC are not conservative extensions of Intuitionistic Predicate Calculus because formulas such as ...
Biraben R.C.E.
core
The Internalized Disjunction Property for Intuitionistic Justification Logic [PDF]
, 2018 In intuitionistic justification logic, evidence terms represent intuitionistic proofs, thatis a formula r:A means r is an intuitionistic proof of A. A natural principle in thiscontext is the internalized disjunction property (IDP), which is: for each ...
Marti, Michel, Studer, Thomas
core
Results in Control and OptimizationOne of the well-known approaches to deal with uncertainty is using fuzzy logic. A category of fuzzy logic-based models is fully intuitionistic fuzzy mathematical models in which all parameters and decision variables are assumed to take intuitionistic ...
Wichai Chattinnawat +2 more
doaj +1 more source
Inquisitive Intuitionistic Logic.
, 2020 Inquisitive logic is a research program seeking to expand the purview of logic beyond declarative sentences to include the logic of questions. To this end, inquisitive propositional logic extends classical propositional logic for declarative sentences with principles governing a new binary connective of inquisitive disjunction, which allows the ...
openaire +2 more sources
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