Results 21 to 30 of about 722,619 (215)
Intuitionistic fixed point logic [PDF]
Annals of Pure and Applied Logic, 2021 We study the system IFP of intuitionistic fixed point logic, an extension of intuitionistic first-order logic by strictly positive inductive and coinductive definitions. We define a realizability interpretation of IFP and use it to extract computational content from proofs about abstract structures specified by arbitrary classically true disjunction ...
Ulrich Berger 0001, Hideki Tsuiki
openaire +3 more sources
Intuitionistic implication makes model checking hard [PDF]
Logical Methods in Computer Science, 2012 We investigate the complexity of the model checking problem for intuitionistic and modal propositional logics over transitive Kripke models. More specific, we consider intuitionistic logic IPC, basic propositional logic BPL, formal propositional logic ...
Martin Mundhenk, Felix Weiss
doaj +1 more source
The Knowability Paradox in the light of a Logic for Pragmatics [PDF]
, 2013 The Knowability Paradox is a logical argument showing that if all truths are knowable in principle, then all truths are, in fact, known. Many strategies have been suggested in order to avoid the paradoxical conclusion.
Carrara, Massimiliano +3 more
core +1 more source
Generalized Ideals of BCK/BCI-Algebras Based on Fuzzy Soft Set Theory
Advances in Fuzzy Systems, 2021 In the present paper, using Lukaswize triple-valued logic, we introduce the notion of α,β-intuitionistic fuzzy soft ideal of BCK/BCI-algebras, where α and β are the membership values between an intuitionistic fuzzy soft point and intuitionistic fuzzy set.
G. Muhiuddin +3 more
doaj +1 more source
Circular Proofs as Session-Typed Processes: A Local Validity Condition [PDF]
Logical Methods in Computer Science, 2022 Proof theory provides a foundation for studying and reasoning about programming languages, most directly based on the well-known Curry-Howard isomorphism between intuitionistic logic and the typed lambda-calculus.
Farzaneh Derakhshan, Frank Pfenning
doaj +1 more source
Journal of Applied Logic, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Torben Braüner, Valeria de Paiva
openaire +3 more sources
Two loop detection mechanisms: a comparison [PDF]
, 1997 In order to compare two loop detection mechanisms we describe two calculi for theorem proving in intuitionistic propositional logic. We call them both MJ Hist, and distinguish between them by description as `Swiss' or `Scottish'. These calculi combine in
Howe, J. M. +3 more
core +1 more source
Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic
, 2022 Bi-intuitionistic logic is an extension of intuitionistic propositional logic with a binary operator that is residuated with respect to disjunction.
Pattinson, Dirk, de Groot, Jim
core +1 more source
Dual-Intuitionistic Logic [PDF]
Notre Dame Journal of Formal Logic, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Some geometrical methods for constructing contradiction measures on Atanassov's intuitionistic fuzzy sets [PDF]
, 2011 Trillas et al. (1999, Soft computing, 3 (4), 197–199) and Trillas and Cubillo (1999, On non-contradictory input/output couples in Zadeh's CRI proceeding, 28–32) introduced the study of contradiction in the framework of fuzzy logic because of the ...
Torres Blanc, Carmen +5 more
core +1 more source