Results 111 to 120 of about 785,300 (287)
Logiques dialogiques ‘multivalentes’
Philosophia Scientiæ, 2004 Aim of this paper is to show how so-called multi-valued logics can be formulated within the framework of Dialogical Logic. In order to formulate the particle rules for multi-valued logics the concept of different assertion modes is introduced.
Helge Rückert
doaj +1 more source
Remark on intuitionistic fuzzy logic and intuitionistic logic
Mathware & soft computing, 1995 It is shown that the axioms of the intuitionistic logic can be proved as theorems in the frames of the intuitionistic fuzzy logic.
openaire +3 more sources
Lietuvos Matematikos Rinkinys, 2009 The paper deals with specialization of the antecedent negation loop-rule for the negative implication free fragment of the propositional intuitionistic logic.
Romas Alonderis
doaj +1 more source
A Note on OTM-Realizability and Constructive Set Theories
, 2019 We define an ordinalized version of Kleene's realizability interpretation of intuitionistic logic by replacing Turing machines with Koepke's ordinal Turing machines (OTMs), thus obtaining a notion of realizability applying to arbitrary statements in the ...
Carl, Merlin
core
A Characterization of the Intuitionistic Propositional Logic [PDF]
Nagoya Mathematical Journal, 1970 In this short note, is shown a necessary and sufficient condition for a logic to be an intermediate propositional logic in Umezawa’s sense (see the reference), under such an assumption that any logic in consideration (as a subclass of LK-provable propositions) contains at least the axioms of the positive propositional logic LPS (Curry’s LA) as its ...
openaire +3 more sources
Azafea: Revista de Filosofía, 2009 RESUMEN: Tras una introducción histórica al intuicionismo como filosofía de las matemáticas, se introduce la lógica intuicionista. Comenzamos desde sus fundamentos según la interpretación BHK, y continuamos con las reglas del cálculo de deducción natural
Dick DE JONGH
doaj
The model checking problem for intuitionistic propositional logic with one variable is AC1-complete [PDF]
, 2011 We show that the model checking problem for intuitionistic propositional logic with one variable is complete for logspace-uniform AC1. As basic tool we use the connection between intuitionistic logic and Heyting algebra, and investigate its complexity ...
Mundhenk, Martin, Weiss, Felix
core
Propositional inquisitive logic: a survey [PDF]
Computer Science Journal of Moldova, 2016 This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and
Ivano Ciardelli
doaj
A characterization of axiom schema playing the rôle of tertium non datur in intuitionistic logic [PDF]
, 1966 Masazumi Hanazawa
openalex +1 more source