Intuitionistic equivalence
Manuscrito 22 (2):205 (1999)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Partial Isomorphisms and Intuitionistic Logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
On the {↔, ∼} -Reduct of the Intuitionistic Consequence Operation.J. K. Kabziński, M. Porębska & A. Wroński - 1981 - Studia Logica 40 (1):55 - 66.
Natural Semantics: Why Natural Deduction is Intuitionistic.James W. Garson - 2001 - Theoria 67 (2):114-139.
On the Interpolation Property of Some Intuitionistic Modal Logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.
Investigations Into the Equivalence Connective.Jacek K. Kabziński - 1980 - Nakł. Uniwersytetu Jagiellońskiego.
Intuitionistic Mathematics Does Not Needex Falso Quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
Intuitionistic Logic According to Dijkstra's Calculus of Equational Deduction.Jaime Bohórquez V. - 2008 - Notre Dame Journal of Formal Logic 49 (4):361-384.
Finite Sets and Natural Numbers in Intuitionistic TT.Daniel Dzierzgowski - 1996 - Notre Dame Journal of Formal Logic 37 (4):585-601.
Intuitionistic Autoepistemic Logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Models of Intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
The Definition of Translation in Davidson's Philosophy: Semantic Equivalence Versus Functional Equivalence.Francesca Ervas - unknown
Thin Equivalence Relations and Effective Decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.Romà J. Adillon & Ventura Verdú - 2000 - Studia Logica 65 (1):11-30.
Analytics
Added to PP index
2014-03-22
Total views
0
Recent downloads (6 months)
0
2014-03-22
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.