Results 211 to 220 of about 20,888 (254)
Some of the next articles are maybe not open access.
Fuzzy intuitionistic quantum logics
Studia Logica, 1993Fuzzy intuitionistic quantum logics, or Brouwer-Zadeh logics, have been introduced by the first author and \textit{G. Nistico} [Fuzzy Sets Syst. 33, 165-190 (1989; Zbl 0682.03036)]. In this model, which serves as standard version of quantum logic, the notion of negation is splitted into two forms: a fuzzy-like one and an intuitionistic one.
CATTANEO G +2 more
openaire +2 more sources
1997
Abstract From the set-theoretic point of view intuitionistic propositional logic is a subset of the classical one: it can be defined by the calculus which is obtained fromClby discarding the law of the excluded middle (Al0). It is Brouwer’s (1907, 1908) criticism of this law that intuitionistic logic sterns from.
Alexander Chagrov, Michael Zakharyaschev
openaire +1 more source
Abstract From the set-theoretic point of view intuitionistic propositional logic is a subset of the classical one: it can be defined by the calculus which is obtained fromClby discarding the law of the excluded middle (Al0). It is Brouwer’s (1907, 1908) criticism of this law that intuitionistic logic sterns from.
Alexander Chagrov, Michael Zakharyaschev
openaire +1 more source
Basic Intuitionistic Conditional Logic
Journal of Philosophical Logic, 2018zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Intuitionistic Trilattice Logics
Journal of Logic and Computation, 2010We take up a suggestion by Odintsov (2009, Studia Logica, 91, 407–428) and define intuitionistic variants of certain logics arising from the trilattice SIXTEEN3 introduced in Shramko and Wansing (2005, Journal of Philosophical Logic, 34, 121–153 and 2006, Journal of Logic, Language and Information, 15, 403–424).
H. Wansing, N. Kamide
openaire +1 more source
Linear Logic and Intuitionistic Logic
Revue internationale de philosophie, 2004Dans cet article je presente les fondements de la logique intuitioniste basee sur la logique lineair. Traditionnellement, la logique intuitioniste est concideree comme etant en disaccord avec les lois fondamentales de la logique classique sur la dualite, comme le tiers-exclu, les lois de Morgan, l'elimination de la double negation, etc.
openaire +1 more source
1999
Intuitionistic modal logics originate from different sources and have different areas of application. They include philosophy (see, e.g., Prior (1957), Ewald (1986), Williamson (1992)), the foundations of mathematics (Kuznetsov, 1985, Kuznetsov and Muravitskij, 1986), and computer science (Plotkin and Stirling, 1986, Stirling, 1987, Wijesekera, 1990 ...
Frank Wolter, Michael Zakharyaschev
openaire +1 more source
Intuitionistic modal logics originate from different sources and have different areas of application. They include philosophy (see, e.g., Prior (1957), Ewald (1986), Williamson (1992)), the foundations of mathematics (Kuznetsov, 1985, Kuznetsov and Muravitskij, 1986), and computer science (Plotkin and Stirling, 1986, Stirling, 1987, Wijesekera, 1990 ...
Frank Wolter, Michael Zakharyaschev
openaire +1 more source
2010
In this chapter we introduce intuitionistic hybrid logic and its proof-theory. Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. The chapter is structured as follows. In the first section of the chapter we introduce intuitionistic hybrid logic (this is taken from Brauner and de ...
openaire +1 more source
In this chapter we introduce intuitionistic hybrid logic and its proof-theory. Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. The chapter is structured as follows. In the first section of the chapter we introduce intuitionistic hybrid logic (this is taken from Brauner and de ...
openaire +1 more source
1998
Abstract This chapter deals with fibring modality into intuitionistic logic. The key difference between fibring modality into modal logic (to form a bi-modal logic) and fibring modality into intuitionistic logic is that in the latter case we are fibring into a logic whose semantics requires a condition of persistence.
openaire +1 more source
Abstract This chapter deals with fibring modality into intuitionistic logic. The key difference between fibring modality into modal logic (to form a bi-modal logic) and fibring modality into intuitionistic logic is that in the latter case we are fibring into a logic whose semantics requires a condition of persistence.
openaire +1 more source
Logic-in-memory based on an atomically thin semiconductor
Nature, 2020Guilherme Migliato Marega +2 more
exaly