Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic (English)
- New search for: Castaño, D.
- New search for: Cornejo, J. M.
- New search for: Castaño, D.
- New search for: Cornejo, J. M.
In:
STUDIA LOGICA
;
104
, 6
;
1245-1265
;
2016
-
ISSN:
- Article (Journal) / Print
-
Title:Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic
-
Contributors:Castaño, D. ( author ) / Cornejo, J. M. ( author )
-
Published in:STUDIA LOGICA ; 104, 6 ; 1245-1265
-
Publisher:
- New search for: Springer Science + Business Media
-
Publication date:2016-01-01
-
Size:21 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 160
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 160 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 104, Issue 6
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1083
-
Categoricity Spectra for Polymodal AlgebrasBazhenov, N. et al. | 2016
- 1099
-
Modality and Contextuality in Topos Quantum TheoryEva, B. et al. | 2016
- 1119
-
A Game Semantics for System PMarti, J. / Pinosio, R. et al. | 2016
- 1145
-
A New View of Effects in a Hilbert SpaceGiuntini, R. / Ledda, A. / Paoli, F. et al. | 2016
- 1179
-
Constructing Natural Extensions of Propositional LogicsPřenosil, A. et al. | 2016
- 1191
-
Finite Frames Fail: How Infinity Works Its Way into the Semantics of AdmissibilityGoudsmit, J. P. et al. | 2016
- 1205
-
Compositional Z: Confluence Proofs for Permutative ConversionNakazawa, K. / Fujita, K. e. et al. | 2016
- 1225
-
Turing–Taylor Expansions for Arithmetic TheoriesJoosten, J. J. et al. | 2016
- 1245
-
Gentzen-Style Sequent Calculus for Semi-intuitionistic LogicCastaño, D. / Cornejo, J. M. et al. | 2016
- 1267
-
Understanding Negation Implicationally in the Relevant Logic ROnishi, T. et al. | 2016
- 1287
-
Cofinal Stable LogicsBezhanishvili, G. / Bezhanishvili, N. / Ilin, J. et al. | 2016
- 1319
-
Book Review: Jean Buridan, Treatise on ConsequencesUckelman, S. L. et al. | 2016