Matches in SemOpenAlex for { <https://semopenalex.org/work/W1720348857> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1720348857 abstract "Foundations of Logic: Mathematical Logic.- Consequence Relations of 2-element Algebras.- On a Form of Equational Interpolation Property.- Structural Completeness of Purely Implicational Intermediate Logic.- Proof-theoretic Validity and the Completeness of Intuitionistic Logic.- Gentzen-type or Beth-type Systems, Constructive Completeness Proofs and Practical Decision Procedures (with Special Attention to Relevance Logic).- Sequential Calculi for Symmetric Dynamic Logic.- Semantic Games on Finite Trees.- To the Decision Problem for Branching Time Logic.- Reductions of Theories for Analysis.- The Incompleteness Theorems and Related Results for Nonconstructive Theories.- A Typed ?-calculus and Girard's Model of Ptykes.- Wellordering Theorems in Topology.- Foundations of Logic: Philosophical Logic.- Mathematical Logic and Continental Philosophers.- The Non-existence of a Probabilistic Inductive Support.- Unary Probabilistic Semantics.- Epistemic Importance and the Logic of Theory Change.- Le?niewski's Logic and its Relation to Classical and Free Logics.- Foundations of Linguistics: Logic and Language.- Algebraic Models of Categorial Grammars.- On the Interpreted Sense Calculus $SC_alpha ^v $.- Semantics of Vague Concepts.- Information Semantics and Antinomies.- Interpretative Model for Linguistic Quantifiers.- Homogeneous and Individuated Quantifiers in Natural Language.- A Simple Relevance-criterion for Natural Language and its Semantics.- A Farewell to Entailment.- Foundations of Linguistics: Philosophy of Language.- Dummett's Conception as Theory of Meaning for Hintikka's Type of Game-theoretical Semantics (I) ('Use' and 'Language-game' in Wittgenstein and Dummett).- Indeterminacy of Meaning.- Colors and Languages.- List of Contributors." @default.
- W1720348857 created "2016-06-24" @default.
- W1720348857 creator A5000450159 @default.
- W1720348857 creator A5077120005 @default.
- W1720348857 date "2013-06-23" @default.
- W1720348857 modified "2023-09-22" @default.
- W1720348857 title "Foundations of Logic and Linguistics: Problems and Their Solutions" @default.
- W1720348857 hasPublicationYear "2013" @default.
- W1720348857 type Work @default.
- W1720348857 sameAs 1720348857 @default.
- W1720348857 citedByCount "1" @default.
- W1720348857 countsByYear W17203488572012 @default.
- W1720348857 crossrefType "book" @default.
- W1720348857 hasAuthorship W1720348857A5000450159 @default.
- W1720348857 hasAuthorship W1720348857A5077120005 @default.
- W1720348857 hasConcept C101874905 @default.
- W1720348857 hasConcept C102993220 @default.
- W1720348857 hasConcept C118615104 @default.
- W1720348857 hasConcept C121332964 @default.
- W1720348857 hasConcept C124047733 @default.
- W1720348857 hasConcept C136119220 @default.
- W1720348857 hasConcept C144760519 @default.
- W1720348857 hasConcept C150889026 @default.
- W1720348857 hasConcept C154945302 @default.
- W1720348857 hasConcept C156325763 @default.
- W1720348857 hasConcept C165801399 @default.
- W1720348857 hasConcept C169896238 @default.
- W1720348857 hasConcept C172385210 @default.
- W1720348857 hasConcept C184337299 @default.
- W1720348857 hasConcept C199360897 @default.
- W1720348857 hasConcept C202444582 @default.
- W1720348857 hasConcept C207648694 @default.
- W1720348857 hasConcept C2777796570 @default.
- W1720348857 hasConcept C32241873 @default.
- W1720348857 hasConcept C33923547 @default.
- W1720348857 hasConcept C41008148 @default.
- W1720348857 hasConcept C62520636 @default.
- W1720348857 hasConcept C9672783 @default.
- W1720348857 hasConceptScore W1720348857C101874905 @default.
- W1720348857 hasConceptScore W1720348857C102993220 @default.
- W1720348857 hasConceptScore W1720348857C118615104 @default.
- W1720348857 hasConceptScore W1720348857C121332964 @default.
- W1720348857 hasConceptScore W1720348857C124047733 @default.
- W1720348857 hasConceptScore W1720348857C136119220 @default.
- W1720348857 hasConceptScore W1720348857C144760519 @default.
- W1720348857 hasConceptScore W1720348857C150889026 @default.
- W1720348857 hasConceptScore W1720348857C154945302 @default.
- W1720348857 hasConceptScore W1720348857C156325763 @default.
- W1720348857 hasConceptScore W1720348857C165801399 @default.
- W1720348857 hasConceptScore W1720348857C169896238 @default.
- W1720348857 hasConceptScore W1720348857C172385210 @default.
- W1720348857 hasConceptScore W1720348857C184337299 @default.
- W1720348857 hasConceptScore W1720348857C199360897 @default.
- W1720348857 hasConceptScore W1720348857C202444582 @default.
- W1720348857 hasConceptScore W1720348857C207648694 @default.
- W1720348857 hasConceptScore W1720348857C2777796570 @default.
- W1720348857 hasConceptScore W1720348857C32241873 @default.
- W1720348857 hasConceptScore W1720348857C33923547 @default.
- W1720348857 hasConceptScore W1720348857C41008148 @default.
- W1720348857 hasConceptScore W1720348857C62520636 @default.
- W1720348857 hasConceptScore W1720348857C9672783 @default.
- W1720348857 hasLocation W17203488571 @default.
- W1720348857 hasOpenAccess W1720348857 @default.
- W1720348857 hasPrimaryLocation W17203488571 @default.
- W1720348857 hasRelatedWork W1548242045 @default.
- W1720348857 hasRelatedWork W1974373665 @default.
- W1720348857 hasRelatedWork W1984979605 @default.
- W1720348857 hasRelatedWork W1990495387 @default.
- W1720348857 hasRelatedWork W2029024997 @default.
- W1720348857 hasRelatedWork W2029180542 @default.
- W1720348857 hasRelatedWork W2041595853 @default.
- W1720348857 hasRelatedWork W2066196075 @default.
- W1720348857 hasRelatedWork W2071477518 @default.
- W1720348857 hasRelatedWork W2090711991 @default.
- W1720348857 hasRelatedWork W2134446632 @default.
- W1720348857 hasRelatedWork W2268189978 @default.
- W1720348857 hasRelatedWork W2908263265 @default.
- W1720348857 hasRelatedWork W3202177550 @default.
- W1720348857 hasRelatedWork W362162902 @default.
- W1720348857 hasRelatedWork W561326750 @default.
- W1720348857 hasRelatedWork W568750796 @default.
- W1720348857 hasRelatedWork W571543084 @default.
- W1720348857 hasRelatedWork W651939539 @default.
- W1720348857 hasRelatedWork W2744001121 @default.
- W1720348857 isParatext "false" @default.
- W1720348857 isRetracted "false" @default.
- W1720348857 magId "1720348857" @default.
- W1720348857 workType "book" @default.