Suchergebnisse - "UDC 510.64"
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- logical consequence 2
- sequent calculus 2
- УДК 510.64 2
- логічний наслідок 2
- секвенційне числення 2
- UDC 510.64 1
- UDC 510.64 1
- completeness 1
- equality 1
- logic 1
- modal logic 1
- partial predicate 1
- predicate 1
- soundness 1
- коректність 1
- логіка 1
- модальна логіка 1
- повнота 1
- предикат 1
- рівність 1
- частковий предикат 1
-
1
Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
Veröffentlicht 2024Volltext
Artikel -
2
First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
Veröffentlicht 2023Volltext
Artikel