scientific article; zbMATH DE number 6276272
From MaRDI portal
Publication:5406038
Cited in
(11)- On the classification of first order Gödel logics
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Hyperresolution for Gödel logic with truth constants
- Monotone operators on Gödel logic
- scientific article; zbMATH DE number 5157044 (Why is no real title available?)
- scientific article; zbMATH DE number 1870424 (Why is no real title available?)
- Gödel’s Disjunction
- Boulesic-Doxastic Logic
- Computer Science Logic
- A Note on Gödel-Dummet Logic LC
- Core Gödel
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5406038)