Sequent Systems for Nondeterministic Propositional Logics Without Reflexivity.



Kuijer, Louwe B
(2013) Sequent Systems for Nondeterministic Propositional Logics Without Reflexivity. In: 4th International Workshop on Logic, Rationality, and Interaction (LORI).

[img] Text
Sequent_systems_for_nondeterministic_propositional_logics_without_reflexivity.pdf - Accepted Version

Download (297kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 30 Nov 2018 10:52
Last Modified: 09 Jan 2021 04:35
URI: https://livrepository.liverpool.ac.uk/id/eprint/3029215