scientific article; zbMATH DE number 6276272
From MaRDI portal
Publication:5406038
zbMATH Open1284.03173MaRDI QIDQ5406038FDOQ5406038
Authors: Matthias Baaz, Norbert Preining
Publication date: 1 April 2014
Title of this publication is not available (Why is that?)
Cited In (11)
- On the classification of first order Gödel logics
- Title not available (Why is that?)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Title not available (Why is that?)
- Gödel’s Disjunction
- Core Gödel
- Monotone operators on Gödel logic
- Hyperresolution for Gödel logic with truth constants
- A Note on Gödel-Dummet Logic LC
- Boulesic-Doxastic Logic
- 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)