scientific article; zbMATH DE number 6276272
From MaRDI portal
Publication:5406038
Cited in
(11)- scientific article; zbMATH DE number 1870424 (Why is no real title available?)
- Core Gödel
- Monotone operators on Gödel logic
- Boulesic-Doxastic Logic
- Gödel’s Disjunction
- On the classification of first order Gödel logics
- Hyperresolution for Gödel logic with truth constants
- A Note on Gödel-Dummet Logic LC
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- scientific article; zbMATH DE number 5157044 (Why is no real title available?)
- Computer Science Logic
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)