On Natural Deduction in Dependence Logic

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikationLogic Without Borders : Essays on set theory, model theory, philosophical logic and philosophy of mathematics
Förlagde Gruyter
Utgivningsdatum2015
ISBN (tryckt)978-1-61451-772-6
ISBN (elektroniskt)978-1-61451-687-3
StatusPublicerad - 2015
MoE-publikationstypA3 Del av bok eller annan forskningsbok

Publikationsserier

NamnOntos Mathematical Logic
Nummer5

Vetenskapsgrenar

  • 611 Filosofi

Citera det här

Kontinen, J. (2015). On Natural Deduction in Dependence Logic. I Logic Without Borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics (Ontos Mathematical Logic; Nr. 5). de Gruyter.
Kontinen, Juha. / On Natural Deduction in Dependence Logic. Logic Without Borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics. de Gruyter, 2015. (Ontos Mathematical Logic; 5).
@inbook{d18d6479497b4bddab16beb1223c3210,
title = "On Natural Deduction in Dependence Logic",
keywords = "611 Philosophy",
author = "Juha Kontinen",
year = "2015",
language = "English",
isbn = "978-1-61451-772-6",
series = "Ontos Mathematical Logic",
publisher = "de Gruyter",
number = "5",
booktitle = "Logic Without Borders",
address = "Germany",

}

Kontinen, J 2015, On Natural Deduction in Dependence Logic. i Logic Without Borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics. Ontos Mathematical Logic, nr. 5, de Gruyter.

On Natural Deduction in Dependence Logic. / Kontinen, Juha.

Logic Without Borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics. de Gruyter, 2015. (Ontos Mathematical Logic; Nr. 5).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

TY - CHAP

T1 - On Natural Deduction in Dependence Logic

AU - Kontinen, Juha

PY - 2015

Y1 - 2015

KW - 611 Philosophy

M3 - Chapter

SN - 978-1-61451-772-6

T3 - Ontos Mathematical Logic

BT - Logic Without Borders

PB - de Gruyter

ER -

Kontinen J. On Natural Deduction in Dependence Logic. I Logic Without Borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics. de Gruyter. 2015. (Ontos Mathematical Logic; 5).