On Urquhart's C logic
- 7 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 57, 113-118
- https://doi.org/10.1109/ismvl.2000.848608
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- A Natural Negation Completion of Urquhart's Many-Valued Logic CJournal of Philosophical Logic, 1998
- Metamathematics of Fuzzy LogicPublished by Springer Nature ,1998
- Proof-Theoretic Methods in Nonclassical Logic --an IntroductionPublished by Mathematical Society of Japan (Project Euclid) ,1998
- Bounded contraction and Gentzen-style formulation of ?ukasiewicz logicsStudia Logica, 1996
- Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction AxiomNotre Dame Journal of Formal Logic, 1995
- Hypersequents, logical consequence and intermediate logics for concurrencyAnnals of Mathematics and Artificial Intelligence, 1991
- Linear logicTheoretical Computer Science, 1987
- Many-valued LogicPublished by Springer Nature ,1986
- Logics without the contraction ruleThe Journal of Symbolic Logic, 1985
- Algebraic analysis of many valued logicsTransactions of the American Mathematical Society, 1958