Szukaj

Wyniki wyszukiwania

Znaleziono 20 elementów.

Dialogue Games for Minimal Logic

Alexandra Pavlova

281-309

10.11.2020
On Definability of Connectives and Modal Logics over FDE

Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

631-659

11.04.2019
Neighborhood Semantics for Basic and Intuitionistic Logic

Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

339–355

20.08.2015
On classical behavior of intuitionistic modalities

Sergey Drobyshevich

79–104

16.08.2014
Remarks on Stable Formulas in Intuitionistic Logic

Majid Alizadeh, Ali Bibak

209-222

18.11.2018
Modalities as interactions between the classical and the intuitionistic logics

Michał Walicki

193-215

15.03.2007
Pragmatic and dialogic interpretations of bi-intuitionism. Part I

Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi, Alessandro Menti

449-480

03.06.2014
A deductive-reductive form of logic: General theory and intuitionistic case

Piotr Łukowski

59–78

19.01.2004
Constructive Logic is Connexive and Contradictory

Heinrich Wansing

675-701

02.01.2024
Proof Theory for Intuitionistic Stable Theories

Paolo Maffezioli

29-47

27.06.2025
Towards intuitionistic dynamic logic

J. W. Degen, J. M. Werner

305-324

15.03.2007
The contribution of A.V. Kuznetsov to the theory of modal systems and structures

Alexei Y. Muravitsky

41-58

19.06.2008
Interpolation and implicit definability in extensions of the provability logic

Larisa Maksimova

129-142

19.06.2008
On Brouwer’s criticism of classical logic and mathematics

Tomasz Placek

19-33

27.10.2003
Intuitionistic Logic from a Metainferential Perspective

Miguel Álvarez Lisboa

49–81

26.03.2025
The Kuznetsov-Gerčiu and Rieger-Nishimura logics

Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh

73-110

19.06.2008
Particular Reasoning Within Theories

João Rasga, Cristina Sernadas

129-165

28.03.2025
Hyperintensionality, Identity and Excluded Middle

Szymon Chlebowski

1-24

02.12.2025
What is a genuine intuitionistic notion of falsity?

Yaroslav Shramko

3–23

15.03.2012
Formulas of one propositional variable in intuitionistic logic with the Solovay modality

Leo Esakia, Revaz Grigolia

111-127

19.06.2008

1 - 20 z 20 elementów