Search Results

Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents

• Authors : Lyon, Tim; Tiu, Alwen; Gore, Rajeev ...

Subjects: Bi-intuitionistic logic; Interpolation; Nested calculiSpainBarcelona, Spain

• Source: Leibniz International Proceedings in Informatics, LIPIcs

Record details

Uniform Interpolation in Coalgebraic Modal Logic

• Authors : Seifan, Fatemeh; Schröder, Lutz; Pattinson, Dirk ...

Subjects: Coalgebraic modal logic; uniform interpolation; weak pullbackLjubljana; Slovenia

• Source: 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)

Record details

The Fusemate Logic Programming System

• Authors : Baumgartner, Peter;

Subjects: Virtual Event

• Source: Automated Deduction – CADE 28

Record details

Dual Intuitionistic Logic Revisited

• Authors : Gore, Rajeev

Subjects: Keywords: Classical logic; Display calculus; Dual intuitionistic logicSt Andrews Scotland

• Source: Proceedings of TABLEAUX-2000

Record details

The strategic logic of ISIS propaganda: appeal, radicalisation and counter-strategies

• Authors : Ingram, Haroro;

Subjects: Abu Dhabi; UAE

• Source: https://apo.org.au/node/57458.

Record details

Mechanising cut-elimination for display logic

• Authors : Dawson, Jeremy; Gore, Rajeev

Subjects: proof systems for relation algebra; non-classical logics; automated deduction

Record details

Formalised cut admissibility for display logic

• Authors : Dawson, Jeremy; Gore, Rajeev

Subjects: Hampton USAHampton USA

• Source: Theorem Proving in Higher Order Logics

Record details

An O((n-logn)3)-Time Transformation from GRZ into Decidable Fragments of Classical First Order Logic

• Authors : Demri, Stephane; Gore, Rajeev

Subjects: Vienna Austria

• Source: Automated Deduction in Classical and Non-Classical Logics

Record details

Glue logic vs. Spreading Architecture in LFG

• Authors : Andrews, Avery

Subjects: Newcastle Australia

• Source: Proceedings of the 2003 Conference of the Australian Linguistics Society ; http://www.newcastle.edu.au/school/lang-media/news/als2003

Record details

Automatic data editing: A framework from logic

• Authors : Boskovitz, Agnes; Gore, Rajeev

Subjects: Sydney Australia

• Source: Information Bulletin No 3: 55th Session of the International Statistical Institute (ISI) ; http://www.cbs.nl/isi ; http://www.tourhosts.com.au/isi2005/invit.asp

Record details