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

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review

31 Downloads (Pure)
Original languageEnglish
Publication dateJul 2017
Publication statusPublished - Jul 2017
EventLogic Colloquium 2016 - University of Leeds, School of Mathematics, Leeds, United Kingdom
Duration: 31 Jul 20166 Aug 2016

Conference

ConferenceLogic Colloquium 2016
LocationUniversity of Leeds, School of Mathematics
CountryUnited Kingdom
CityLeeds
Period31/07/201606/08/2016

Cite this

@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",

}

Badie, F & Götzsche, H 2017, 'Towards Logical Analysis of Occurrence Values in Truth-Functional Independent Occurrence Logic', Logic Colloquium 2016, Leeds, United Kingdom, 31/07/2016 - 06/08/2016.

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

2017. Abstract from Logic Colloquium 2016, Leeds, United Kingdom.

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-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 -