Towards Logical Analysis of Occurrence Values in Truth-Functional Independent Occurrence Logic

Publikation: Konferencebidrag uden forlag/tidsskriftKonferenceabstrakt til konferenceForskningpeer review

23 Downloads (Pure)
OriginalsprogEngelsk
Publikationsdatojul. 2017
StatusUdgivet - jul. 2017
BegivenhedLogic Colloquium 2016 - University of Leeds, School of Mathematics, Leeds, Storbritannien
Varighed: 31 jul. 20166 aug. 2016

Konference

KonferenceLogic Colloquium 2016
LokationUniversity of Leeds, School of Mathematics
LandStorbritannien
ByLeeds
Periode31/07/201606/08/2016

Citer dette

@conference{dac984cd8e534fa3bb06b3bc3cd92b96,
title = "Towards Logical Analysis of Occurrence Values in Truth-Functional Independent Occurrence Logic",
author = "Farshad Badie and Hans G{\"o}tzsche",
year = "2017",
month = "7",
language = "English",
note = "Logic Colloquium 2016 ; Conference date: 31-07-2016 Through 06-08-2016",

}

Towards Logical Analysis of Occurrence Values in Truth-Functional Independent Occurrence Logic. / Badie, Farshad; Götzsche, Hans.

2017. Abstract fra Logic Colloquium 2016, Leeds, Storbritannien.

Publikation: Konferencebidrag uden forlag/tidsskriftKonferenceabstrakt til konferenceForskningpeer review

TY - ABST

T1 - Towards Logical Analysis of Occurrence Values in Truth-Functional Independent Occurrence Logic

AU - Badie, Farshad

AU - Götzsche, Hans

PY - 2017/7

Y1 - 2017/7

UR - http://www.lc2016.leeds.ac.uk/

M3 - Conference abstract for conference

ER -