Proof Theory for Positive Logic with Weak Negation-Reference-Cited by-同舟云学术

Proof Theory for Positive Logic with Weak Negation

Published:2019-07-24 Issue:4 Volume:108 Page:649-686
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

Bílková Marta^ORCID,Colacito Almudena^ORCID

Funder

Grantová Agentura Ceské Republiky

Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

http://link.springer.com/content/pdf/10.1007/s11225-019-09869-y.pdf

Reference32 articles.

1. Bezhanishvili, G., T. Moraschini, and J. G. Raftery, Epimorphisms in varieties of residuated structures, Journal of Algebra 492:185–211, 2017.

2. Bezhanishvili, N., A. Colacito, and D. de Jongh, A study of subminimal logics of negation and their modal companions, in 12th International Tbilisi Symposium on Logic, Language, and Computation. (To appear).

3. Birkhoff, G., Lattice theory, vol. 25, Colloquium Publications edn., American Mathematical Society, 1967.

4. Caicedo, X., and R. Cignoli, An algebraic approach to intuitionistic connectives, The Journal of Symbolic Logic 66(04):1620–1636, 2001.

5. Ciardelli, I., J. Groenendijk, and F. Roelofsen, Inquisitive semantics, NASSLLI Lecture Notes 187, 2012.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Double Negation as Minimal Negation;Journal of Logic, Language and Information;2023-11-11

2. Subminimal Logics in Light of Vakarelov’s Logic;Studia Logica;2019-11-01

3. A Study of Subminimal Logics of Negation and Their Modal Companions;Lecture Notes in Computer Science;2019