Dictionary of logic as applied in the study of language
Concepts, methods, theories
Bibliographic Data
| ID | 19982772 |
|---|---|
| Editors | Witold Marciszewski (0000-0003-3384-5782, corresponding author) |
| Year | 1981 |
| Publication date | 1981-01-01 |
| Open Access | Yes |
| Type | BOOK |
| Venue | Dictionary of Logic As Applied in the Study of Language (SOURCE_BOOK) |
| Publisher | Springer Netherlands (PUBLISHER • NL) |
| DOI | 10.1007/978-94-017-1253-8 |
| OpenAlex | W568750796 |
| ISBN | 9789401712538 |
| Open Library | OL37118759M |
| Language | EN |
| Citations received | 2 |
ion operator.- Algebraic structures.- Algorithms.- Analyticity.- Antinomies.- Arithmetic.- Automata.- Automata, finite.- Categorial grammar.- Classes, theory of.- Combinatory logic.- Completeness.- Computability abstract theory.- Consequence.- Consistency.- Counterexample, the method of.- Decidability.- Deduction theorem.- Deductive method.- Definability.- Definition.- Deontic logic.- Description, definite.- Dialogic logic.- Dot notation.- Duality.- Elementary theory.- Entailment and relevance.- Extension.- Formalization.- Goedel's theorem.- Grammar, formal.- Independence.- Intension.- Intuitionistic logic.- Lambda-operator.- Legniewski's systems.- Logical form.- Logic, modern, history of.- Many-valued logic.- Mappings.- Meaning.- Modality.- Modal logic.- Modal semantics.- Model theory.- Name.- Natural deduction.- Normal form.- Polish notation.- Pragmatics, logical.- Predicate logic.- Probability.- Programming languages.- Quantifiers.- Questions.- Recursive functions.- Relations, theory of.- Semantics, logical.- Sentence.- Sentence logic.- Sequent calculus.- Sets, infinite.- Sets, ordered.- Set theory, axiomatizations of.- Syntax, logical.- Tense logic.- Topology.- Trees.- Truth.- Truth-table method.- Types, theory of.- General bibliography.- Subject index and glossary.- Index of symbols
Algebra over a field · Description logic · Discrete mathematics · Many-valued logic · Philosophy of logic · Predicate logic · Programming language · Pure mathematics · Computer Science · Language and Culture · Lexicography and Language Studies · Literature, Language, and Rhetoric Studies · Mathematics · Bibliography · Dictionaries · Information science · Language and languages · Language and logic · Linguistics · Logic · Philosophy · Artificial Intelligence
| Citations per year | 0.08 |
|---|---|
| Citation span | 2001 - 2008 (8) |
| Highly cited | No |