Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: logic
Search without synonyms: keywords:("logic")
Used synonyms:
- deduktion
- logik
- philosophische logik
-
``Sing and Dance!'' Input/Output Logics without Weakening
British Library Conference Proceedings | 2014|Keywords: Deontic logic -
``The absence of the difference from a pot is potness'' -- Axiomatic Proofs of Theorems Concerning Negative Properties in Navya-Ny\=aya
Free accessDOAJ | 2016|Keywords: Indian logic -
``Try to See It My Way'': Competing Interpretations of ``Precaution'' in the Discourse and Performance of Risk Management in the National Laboratory System
British Library Conference Proceedings | 2002|Keywords: Logic -
`Must', `Ought' and the Structure of Standards
British Library Conference Proceedings | 2014|Keywords: Deontic logic -
`Particles' and `Waves' as Understood by Temporal Concept Analysis
British Library Conference Proceedings | 2004|Keywords: Logic diagrams -
`Splendid Little Soldiers'- Invasion, Empire and the Fantasy of Dominance in Saki's When William Came
British Library Conference Proceedings | 2007|Keywords: Computer logic -
`Stored Program Concept' Considered Harmful: History and Historiography
British Library Conference Proceedings | 2013|Keywords: Logic, Symbolic and mathematical -
`What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations
British Library Conference Proceedings | 2008|Keywords: Computer logic, Computational logic -
℧-Resolution: An Inference Rule for Regular Multiple-Valued Logics
Springer Verlag | 1998|Keywords: Logic Programming, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations -
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\forall \exists \mathbb {R}$$\end{document}-Completeness and Area-Universality
Springer Verlag | 2018|Keywords: Arithmetic and Logic Structures -
(\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\in , \in \vee {\,q}$$\end{document})-Fuzzy Filter Theory in FI-algebras
Springer Verlag | 2015|Keywords: Fuzzy logic -
(∈, ∈ ∨ q)-fuzzy subnear-rings and ideals
Springer Verlag | 2005|Keywords: Mathematical Logic and Foundations -
∈ I : An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity
Free accessDuke University Press | 2009|Keywords: intuitionistic logic -
∈ T -Integration of Logics
Springer Verlag | 2005|Keywords: Propositional Logic, Parameter Logic, Mathematical Logic and Formal Languages -
∏ 1 1 -Completeness of the Computable Categoricity Problem for Projective Planes
Springer Verlag | 2016|Keywords: Mathematical Logic and Foundations
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.