Results 21 to 30 of about 5,025 (226)
Functional Interpretations of Intuitionistic Linear Logic [PDF]
Logical Methods in Computer Science, 2011 We present three different functional interpretations of intuitionistic linear logic ILL and show how these correspond to well-known functional interpretations of intuitionistic logic IL via embeddings of IL into ILL.
Gilda Ferreira, Paulo Oliva
doaj +1 more source
Dualized Simple Type Theory [PDF]
Logical Methods in Computer Science, 2017 We propose a new bi-intuitionistic type theory called Dualized Type Theory (DTT). It is a simple type theory with perfect intuitionistic duality, and corresponds to a single-sided polarized sequent calculus.
Harley Eades III +2 more
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.
Atanassov, Krassimir T.
openaire +4 more sources
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem of classical logic.
Luís Pinto, Tarmo Uustalu
doaj +1 more source
The ILLTP Library for Intuitionistic Linear Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited.
Carlos Olarte +3 more
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
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
Intuitionistic quantum logic of an n-level system [PDF]
, 2009 A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics.
Landsman, N.P. +19 more
core +1 more source
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
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