Ebook: Логические теории временных контекстов (Временная логика)
Author: Ишмуратов А.Т.
- Genre: Математика // Математическая логика
- Tags: Математика, Математическая логика
- Language: Русский
- djvu
Киев: Наукова думка, 1981. — 150 с.В монографии рассматриваются логико-грамматические особенности временных контекстов — выражений естественного языка, истинностное значение которых определимо относительно конкретного отрезка времени, в контексте речевой ситуации. Описываются основные типы семантики временной логики и различные её формализации: аксиоматическая, секвенциальная, аналитико-табличная. Рассматривается временные исчисления с неклассическим базисом, а также их модификации и расширения (хронологическая, хронометрическая логики и др.).
Для научных работников, преподавателей и студентов философских факультетов.Логическая теория языка
Логическое следование и формальная выводимость.
Переменные и константы
Логическая семантика
Высказывание о событии.
Контекст.
Событие.
Грамматическое времд
Абстрактное описание событий
Множества
Временные отношения.
События.
Эталон времени.
Временная структура.
Временные диаграммы
Аксиоматические теории времени.
Логический анализ временных контекстов
Переменная классическая логика
Классическая логика
Семантика
Синтаксис
Непротиворечивость и полнота
Временная логика
Семантика
Синтаксис
Непротиворечивость и полнота
Квантификация.
Расширения Kf-исчисления.
Метрическое временное исчисление
JХронолоплескан логика.
Латометрическая логика.
Хронологическое исчисление НРепера
Гянарнне временные связки
Временные модальностиСемантика
Синтаксис
Непротиворечивость и полнота
Временная логика
Семантика.
Синтаксис Непротиворечивость и полнота
Квантификацня.
Трехзначнче временные операторы
Овременение я бочваризация.
Для научных работников, преподавателей и студентов философских факультетов.Логическая теория языка
Логическое следование и формальная выводимость.
Переменные и константы
Логическая семантика
Высказывание о событии.
Контекст.
Событие.
Грамматическое времд
Абстрактное описание событий
Множества
Временные отношения.
События.
Эталон времени.
Временная структура.
Временные диаграммы
Аксиоматические теории времени.
Логический анализ временных контекстов
Переменная классическая логика
Классическая логика
Семантика
Синтаксис
Непротиворечивость и полнота
Временная логика
Семантика
Синтаксис
Непротиворечивость и полнота
Квантификация.
Расширения Kf-исчисления.
Метрическое временное исчисление
JХронолоплескан логика.
Латометрическая логика.
Хронологическое исчисление НРепера
Гянарнне временные связки
Временные модальностиСемантика
Синтаксис
Непротиворечивость и полнота
Временная логика
Семантика.
Синтаксис Непротиворечивость и полнота
Квантификацня.
Трехзначнче временные операторы
Овременение я бочваризация.
Download the book Логические теории временных контекстов (Временная логика) for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)