NGC 5506: an almost Seyfert galaxy
- 期刊名称Monthly Notices of the Royal Astronomical Society
- 作者Glass, I. S.
- 卷第183卷
- 期第1期
- 印刷ISSN0035-8711
- 电子ISSN1365-2966
- 文件大小55.18KB
- 发表时间1978-05-01
- DOI10.1093/mnras/183.1.85p
Sequent-based logical argumentationArieli, Ofer; Straßer, Christian · Argument & Computation · 2015
Logical argumentation by dynamic proof systemsArieli, Ofer; Straßer, Christian · Theoretical Computer Science · 2019
Reasoning with maximal consistency by argumentative approachesArieli, Ofer; Borg, AnneMarie; Straßer, Christian · Journal of Logic and Computation · 2018
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic DerivationsArieli, Ofer; Straßer, Christian · Electronic Notes in Theoretical Computer Science · 2016
Linearity: A RoadmapAlves, S.; Fernandez, M.; Florido, M.; Mackie, I. · Journal of Logic and Computation · 2012
Elementary Diagrams in InstitutionsDiaconescu, R. · Journal of Logic and Computation · 2004
A Linear Spine CalculusCervesato, I. · Journal of Logic and Computation · 2003
Propositional primal logic with disjunctionBeklemishev, L.; Gurevich, Y. · Journal of Logic and Computation · 2014
Basic primal infon logicCotrini, C.; Gurevich, Y. · Journal of Logic and Computation · 2013
Computational logic and the socialMartin, U. · Journal of Logic and Computation · 2014
Hoops and Fuzzy LogicEsteva, F. · Journal of Logic and Computation · 2003
Linear Types and LocalityTorrini, P. · Journal of Logic and Computation · 2014