×

Found 743 Documents (Results 1–100)

100
MathJax

Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency. (English) Zbl 07452001

Arieli, Ofer (ed.) et al., Arnon Avron on semantics and proof theory of non-classical logics. Cham: Springer. Outst. Contrib. Log. 21, 107-139 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Proper multi-type display calculi for rough algebras. (English) Zbl 1434.03147

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 101-118 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv

A remark on the superintuitionistic predicate logic of Kripke frames of finite height with constant domains: a simpler Kripke complete logic that is not strongly complete. (English) Zbl 1418.03132

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 577-590 (2018).
MSC:  03B55 03B20
PDF BibTeX XML Cite

Interpolation for intermediate logics via hyper- and linear nested sequents. (English) Zbl 1418.03130

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 473-492 (2018).
MSC:  03B55 03F03 03F05
PDF BibTeX XML Cite

Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry. (English) Zbl 1441.03002

Trends in Logic – Studia Logica Library 49. Cham: Springer (ISBN 978-3-319-70820-1/hbk; 978-3-319-70821-8/ebook). xiii, 198 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Graded generalized hexagon in fuzzy natural logic. (English) Zbl 1455.03029

Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 36-47 (2016).
MSC:  03B52
PDF BibTeX XML Cite
Full Text: DOI

Constructive embedding from extensions of logics of strict implication into modal logics. (English) Zbl 1429.03087

Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 223-251 (2016).
MSC:  03B45 03B20 03F05
PDF BibTeX XML Cite
Full Text: DOI

Sub-classical Boolean bunched logics and the meaning of par. (English) Zbl 1373.03042

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 325-342 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Positive formulas in intuitionistic and minimal logic. (English) Zbl 1326.03018

Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 175-189 (2015).
MSC:  03B20 03B55
PDF BibTeX XML Cite
Full Text: DOI Link

On the equivalence of paraconsistent and explosive versions of Nelson logic. (English) Zbl 1344.03030

Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 259-272 (2014).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software