Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: Deduktion
Search without synonyms: keywords:("Deduktion")
Used synonyms:
- logic
-
Real-time MTL with durations as SMT with applications to schedulability analysis
Free accessBASE | 2031|Keywords: Metric temporal logic -
On Paracomplete Versions of Jaśkowski's Discussive Logic
Free accessDOAJ | 2024|Keywords: discussive logic, discursive logic, modal logic, paracomplete logic, paraconsistent logic, Logic -
Janusz Czelakowski on Logical Consequence
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2024|Keywords: Logic., Mathematical logic. -
Linear Abelian Modal Logic
Free accessDOAJ | 2024|Keywords: many-valued logic, modal logic, abelian logic, Logic -
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
Free accessTIBKAT | 2024|Keywords: Logic., Mathematical logic. -
Universal Logic, Ethics, and Truth : Essays in Honor of John Corcoran (1937-2021)
TIBKAT | 2024|Keywords: Mathematical logic., Logic. -
Mathematical Logic : On Numbers, Sets, Structures, and Symmetry
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2024|Keywords: Mathematical logic., Logic., Computer arithmetic and logic units. -
Mathematical Logic in the History of Logic: Łukasiewicz’s Contribution and Its Reception
Taylor & Francis Verlag | 2024|Keywords: history of logic, Stoic logic, Aristotle's logic -
Logic and Its History in the Lvov-Warsaw School
Taylor & Francis Verlag | 2024|Keywords: Warsaw School of Logic, logic, history of logic, philosophical applications of logic -
Logic for justice : an introduction to formal logic with an emphasis on political reform
TIBKAT | 2024|Keywords: First-order logic, Proposition (Logic), Logic, Logic, Symbolic and mathematical -
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2024|Keywords: Logic., Mathematical logic. -
Novel design of power-efficient quaternary logic gates using CNTFET
Taylor & Francis Verlag | 2024|Keywords: quaternary logic, logic gates -
Modal Logic Is More Succinct Iff Bi-Implication Is Available in Some Form
Free accessDataCite | 2024|Keywords: Theory of computation → Logic, modal logic -
The logic of entailment and its history
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2024|Keywords: Entailment (Logic) -
Mathematik für die Informatik : grundlegende Begriffe, Strukturen und Anwendungen
TIBKAT | 2024|Keywords: Mathematical logic., Computer arithmetic and logic units. -
(What) Is Feminist Logic? (What) Do We Want It to Be?
Taylor & Francis Verlag | 2024|Keywords: Feminist logic, relevance logic
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.