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

Farshad Badie, Hans Götzsche

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

57 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
Country/TerritoryUnited Kingdom
CityLeeds
Period31/07/201606/08/2016

Cite this