Vagueness and intuitionistic logic by Rumfitt, I

“…This chapter considers the question: should we employ intuitionistic logic, not classical logic, when reasoning with vague concepts? …”

Models for intuitionistic logic by Cuckle, H, Cuckle, Howard

Philosophical Foundations of Intuitionistic Logic by L Nabavi, MA Hojati, H Alaeenezhad

Subjects: Get full text

Philosophical Foundations of Intuitionistic Logic by L Nabavi, MA Hojati, H Alaeenezhad

Subjects: Get full text

Intuitionistic logic model theory and forcing / by Fitting, Melvin, 1942-

Proof methods for modal and intuitionistic logics / by Fitting, Melvin, 1942-

Copies of Classical Logic in Intuitionistic Logic by Jaime Gaspar

Get full text

Admissible Tools in the Kitchen of Intuitionistic Logic by Andrea Condoluci, Matteo Manighetti

“…We then extend intuitionistic logic with principles corresponding to admissible rules. …”
Get full text

Note on the Intuitionistic Logic of False Belief by Tomasz Witczak

“…Finally, we mention the fact that it is possible to investigate intuitionistic logics of unknown truths.…”
Get full text

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC by Leigh, G, Rathjen, M

On density of truth of the intuitionistic logic in one variable by Zofia Kostrzycka

Subjects: Get full text

A Criticism of Kripke’s Semantic for Intuitionistic Logic by Wagner de Campos Sanz

“…This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the semantics. …”
Get full text

On the Mints Hierarchy in First-Order Intuitionistic Logic by Aleksy Schubert, Paweł Urzyczyn, Konrad Zdanowski

Get full text

Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus by Romas Alonderis

“…In the paper, we define some classes of sequents of the propositional intuitionistic logic. These are classes of primarily and α-primarily reducible sequents. …”
Get full text

On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains by Federico Aschieri

“…The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas. …”
Get full text

Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus by Romas Alonderis

“…The paper deals with specialization of the antecedent negation loop-rule for the negative implication free fragment of the propositional intuitionistic logic.…”
Get full text

From Intuitionism to Brouwer's Modal Logic by Zofia Kostrzycka

Subjects: “…intuitionistic logic…”
Get full text

Minimal Systems of Temporal Logic by Dariusz Surowik

Subjects: Get full text

Merging Intuitionistic and De Morgan Logics by Minghui Ma, Juntong Guo

Subjects: Get full text

A Logic for Quantum Register Measurements by Andrea Masini, Margherita Zorzi

Subjects: “…intuitionistic logic…”
Get full text