Infinite-valued Gödel Logics with 0-1-Projections and Relativizations-Reference-Cited by-同舟云学术

Infinite-valued Gödel Logics with 0-1-Projections and Relativizations

Published:1996 Issue: Volume: Page:23-33
ISSN:1431-5459
Container-title:Lecture Notes in Logic
language:
Short-container-title:

Author:

Baaz Matthias

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-21963-8_2

Reference7 articles.

1. M. Baaz, C. G. Fermüller, and R. Zach. Elimination of cuts in first-order finite-valued logics. J. Inform. Process. Cybernet. EIK, 29 (6), 333–355, 1994.

2. M. Baaz, A. Leitsch, and R. Zach. Incompleteness of an infinite-valued first-order Gödel logic and of some temporal logics of programs. In Computer Science Logic. Selected Papers from CSL’95,1996. to appear.

3. M. Dummett. A propositional calculus with denumerable matrix. J. Symbolic Logic, 24, 97–106, 1959.

4. K. Gödel. Zum intuitionistischen Aussagenkalkiil. Anz. Akad. Wiss. Wien, 69, 65–66, 1932.

5. K. Gödel. Über eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes. Dialectica, 12, 280–287, 1958.

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

1. A Deductive Verification Infrastructure for Probabilistic Programs;Proceedings of the ACM on Programming Languages;2023-10-16

2. A note on k-cyclic modal pseudocomplemented De Morgan algebras;Soft Computing;2023-03-06

3. Non-standard Modalities in Paraconsistent Gödel Logic;Logics in Artificial Intelligence;2023

4. A Logic to Reason About f-Indices of Inclusion over Ł$$_n$$;Fuzzy Logic and Technology, and Aggregation Operators;2023

5. Two-Layered Logics for Paraconsistent Probabilities;Logic, Language, Information, and Computation;2023