Suchergebnisse
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- logical consequence 3
- predicate 3
- sequent calculus
- логічний наслідок 3
- предикат 3
- секвенційне числення 3
- UDC 004.42:510.69 2
- logic 2
- УДК 004.42:510.69 2
- логика 2
- логическое следствие 2
- логіка 2
- секвенциальное исчисление 2
- UDC 510.64 1
- equality 1
- modal logic 1
- semantics 1
- УДК 510.64 1
- модальна логіка 1
- равенство 1
- рівність 1
- семантика 1
-
1
Pure first-order logics of quasiary predicates
Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)
Volltext
Artikel -
2
Pure first-order quasiary logics with equality predicates
Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)
Volltext
Artikel -
3
Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
Veröffentlicht in PROBLEMS IN PROGRAMMING (2024)
Volltext
Artikel